// https : // iai.sh.cn/problem/36
#include <bits/stdc++.h>
using namespace std;
const int N = 1e3 + 5, M = 1e4 + 5;
const int LEFT = 0;
const int RIGHT = 1;
/*
f[i][j][LEFT]表示遇到第i个西瓜朝向为左、消耗j点体力值所得的最多水果数
f[i][j][RIGHT]表示遇到第i个西瓜朝向为右、消耗j点体力值所得的最大水果数
 */
int f[N][M][2];

int main() {

  int n, m;
  cin >> n >> m;
  string s;
  cin >> s;
  s = '0' + s;
  memset(f, 0xaf, sizeof(f)); // 初始化很小,是个负值

  f[0][0][RIGHT] = 0; // 初始值：fr[0][0]=0 初始人朝右

  for (int i = 1; i <= n; i++) {   // 遇到第i个西瓜
    for (int j = m; j >= 0; j--) { // 已消耗体力值
      // 不动
      f[i][j][LEFT] = max(f[i][j][LEFT], f[i - 1][j][LEFT]);
      f[i][j][RIGHT] = max(f[i][j][RIGHT], f[i - 1][j][RIGHT]);
      switch (s[i]) {

      case '1': // 右上
        if (j >= 3) {
          f[i][j][RIGHT] = max(f[i][j][RIGHT], f[i - 1][j - 3][RIGHT] + 1);
        }
        if (j >= 9)
          f[i][j][RIGHT] = max(f[i][j][RIGHT], f[i - 1][j - 9][LEFT] + 1);
        break;

      case '3': // 左上
        if (j >= 3) {
          f[i][j][LEFT] = max(f[i][j][LEFT], f[i - 1][j - 3][LEFT] + 1);
        }
        if (j >= 9)
          f[i][j][LEFT] = max(f[i][j][LEFT], f[i - 1][j - 9][RIGHT] + 1);
        break;

      case '2': // 右下
        if (j >= 2) {
          f[i][j][RIGHT] = max(f[i][j][RIGHT], f[i - 1][j - 2][RIGHT] + 1);
        }
        if (j >= 8)
          f[i][j][RIGHT] = max(f[i][j][RIGHT], f[i - 1][j - 8][LEFT] + 1);
        break;

      case '4': // 左下
        if (j >= 2) {
          f[i][j][LEFT] = max(f[i][j][LEFT], f[i - 1][j - 2][LEFT] + 1);
        }
        if (j >= 8)
          f[i][j][LEFT] = max(f[i][j][LEFT], f[i - 1][j - 8][RIGHT] + 1);
        break;
      }
    }
  }
  int ans = 0;
  for (int j = 1; j <= m; j++)
    ans = max(ans, max(f[n][j][LEFT], f[n][j][RIGHT]));
  cout << ans;
  return 0;
}